LY12合金热轧变形抗力模型和多道次热轧压下规程计算机程序设计

采用FORTRAN程序建立了LY12合金热轧变形抗力模型，在此基础上用QBASIC语言编制了该合金多道次热轧压下规程电算程序。计算表明，与手工计算相比，程序运行速度快，可机上优化力能参数，极大地提高了设计效率。     

Experience with logical code analysis in software maintenance

Formal program specification and logical analysis are often used for program derivation and proofs of correctness. The basic tools include the logic of predicate calculus and Dijkstra's weakest precondition calculations. Recent work has shown that these tools are also very useful in the maintenance phase of the software life-cycle. This paper reports experience working with software maintenance teams to apply formal methods. Formal logical analysis is invaluable for isolating defects, determining code corrections, eliminating side-effects, and code re-engineering. Logical analysis works well in software maintenance because many defects can be isolated to small segments of code. These small segments can then be analyzed manually or with code analysis tools. The result is lowered software maintenance costs due to the benefits of defect prevention, reduction of code complexity metrics, productivity improvements, and better specifications and documentation. It would be beneficial to use logical code analysis in the earlier phases of the software life-cycle, such as quality assurance and inspection.     

管理信息系统自动生成集成环境autoMIS

本文在分析现有ＭＩＳ软件开发工具和开发环境的基础上，介绍了一个面向ＭＩＳ的应用系统自动生成集成开发－ａｕｔｏＭＩＳ的设计思想、总体框图、功能概述以及部分实现技术。ａｕｔｏＭＩＳ从数据库管理本身的特点和ＭＩＳ的共同点及动态性出发，进行了抽象和总结。使ａｕｔｏＭＩＳ与具体的ＭＩＳ无关，具有普遍的通用性。     

The hierarchical task graph as a universal intermediate representation

This paper presents an intermediate program representation called the Hierarchical Task Graph (HTG), and argues that it is not only suitable as the basis for program optimization and code generation, but it fully encapsulates program parallelism at all levels of granularity. As such, the HTG can be used as the basis for a variety of restructuring and optimization techniques, and hence as the target for front-end compilers as well as the input to source and code generators. Our implementation and testing of the HTG in the Parafrase-2 compiler has demonstrated its suitability and versatility as a potentially universal intermediate representation. In addition to encapsulating semantic information, data and control dependences, the HTG provides more information vital to efficient code generation and optimizations related to parallel code generation. In particular, we introduce the notion of precedence between nodes of the structure whose grain size can range from atomic operations to entire subprograms. This work was supported in part by the National Science Foundation under Grant No. NSF-CCR-89-57310, the U. S. Department of Energy under Grant No. DOE-DE-FG02-85ER25001, and a grant from Texas Instruments Inc.     

软件维护与逆向工程评述

本介绍并分析了近几年在软件维护与逆向开程领域中的一些研究工作。这些工作涉及软件维护模型，程序观察，程序数据库，超本，程序高层抽象和反编译等内容。     

Verification of schedulability for real-time programs

Assume that a real-time programP ^T consisting of a number of parallel processes is executed on a system having a setPr of processors which are shared between the processes by a real-time schedulerS ^T. Assume that P^T must meet some timing deadlines. We show that such an implementation ofP ^T can be represented as a transformationL(P ^T) and that the deadlines ofP ^T will be met if they are satisfied by the timing properties of the transformed program. The condition for feasibility of a real-time program executed under a scheduler is formalized and rules are provided for verification. The schedulerS ^T can be specifiedgenerically and applied to different programs, making it unnecessary to introduce low-level operations such as scheduling primitives into the programming language. Thus real-time program specification and Schedulability can be considered in the same framework and the timing properties of a program can be determined at the specification level. By separating the specification of the scheduler from that of the program, the feasibility of an implementation can be proved by considering a scheduling policy rather than its implementation details.     

校准用X射线装置的微机参量控制

论述了核工业华北放射性计量站利用计算机技术实现自制Ｘ射线校准装置参量控制的方法。     

油气—扭杆混合悬挂结构分析与计算

该文讨论了混合悬挂结构参数，性能指标的匹配关系及约束条件，建立了实用的确定结构参数的计算程序。     

程控调度机软硬件的研制

程控调度机是一种用于大中型企业或部门的电话调度及管理的大型通信设备，近两年来，我国程控调度机的研制及生产已取得很大进展，本文结合作者的开发经验、谈谈程控调度机的功能、结构及软硬件研制问题。     

一种从结构化源程序导出PAD图的方法

本文讨论一种从结构化源程序导出ＰＡＤ图的方法，该方法可用于程序理解和维护，以求有效地保持ＰＡＤ文档与结构化源程序之间的一致。